assertion atom

[计] 断言原子